Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
811	Theoretical Elsevier Add to Reading List Source URL: www.univr.it Language: English - Date: 2012-11-16 08:23:50 Non-classical logic Substructural logic Logic in computer science Predicate logic Sequent calculus Intuitionistic logic First-order logic Atomic formula Natural deduction Logic Mathematical logic Proof theory
812	LOGIC BIBLIOGRAPHY up to 2008 by Add to Reading List Source URL: www.phil-fak.uni-duesseldorf.de Language: English - Date: 2008-02-26 08:06:24 Philosophical logic Analytic philosophers Non-classical logic Philosophers of mathematics Game semantics Many-valued logic Informal logic Alfred Tarski Paraconsistent logic Logic Mathematical logic Philosophy
813	On Inductive Logic Author(s): Rudolf Carnap Source: Philosophy of Science, Vol. 12, No. 2 (Apr., 1945), pp[removed] Add to Reading List Source URL: tu-dresden.de Language: English - Date: 2011-10-11 11:21:09 Logical consequence Non-classical logic Critical thinking Mathematical logic Entailment Function Modal logic Truth Argument Logic Philosophy Philosophical logic
814	A Method for Access Authorisation Through Delegation Networks Audun Jøsang1 1 Add to Reading List Source URL: persons.unik.no Language: English - Date: 2008-04-28 03:37:53 Non-classical logic Probability theory Subjective logic XACML Authorization Delegation Simple public key infrastructure Information security Information Security Computing Computer security
815	1 An Introduction to Description Logics Daniele Nardi Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Non-classical logic Knowledge Artificial intelligence Philosophical logic Knowledge representation and reasoning Scientific modeling Description logic Frame language Modal logic Logic Science Knowledge representation
816	Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Add to Reading List Source URL: www.math.cas.cz Language: English - Date: 2008-11-24 09:00:50 Propositional calculus Modal logic Logic in computer science Philosophical logic Kripke semantics General frame Intermediate logic Intuitionistic logic Natural deduction Logic Mathematical logic Non-classical logic
817	Vocabulaire technique et analytique de l’épistémologie Paris, Presses Universitaires de France coll. Premier Cycle, 1999, 872 p. Add to Reading List Source URL: www.er.uqam.ca Language: French - Date: 2011-01-11 05:26:07 Ceteris paribus Axiom schema of specification Pierre Duhem Classical definition of probability Fallacy Axiom of choice Axiom of regularity Axiom of infinity Axiom of extensionality Mathematical logic Set theory Axioms of set theory
818	International Journal of Theoretical Physics, Vol. 38, No. 1, 1999 Classical and Quantum Probability in the e -Model Add to Reading List Source URL: www.vub.ac.be Language: English - Date: 2010-12-15 20:26:42 Quantum probability Probability space Markov chain Hilbert space Center Leo Apostel for Interdisciplinary Studies Probability Conditioning Quantum logic Quantum cognition Physics Quantum mechanics Probability theory
819	Carnap’s Tolerance, Language Change and Logical Pluralism G REG R ESTALL∗ Add to Reading List Source URL: www.consequently.org Language: English - Date: 2001-08-21 00:04:12 Non-classical logic Propositional calculus Logical consequence Logical truth Entailment Philosophy of logic Argument Negation Interpretation Logic Philosophy Philosophical logic
820	Volume 4, Number 9 September 2010 www.thereasoner.org Add to Reading List Source URL: www.arcoe.org Language: English - Date: 2012-02-16 04:56:33 Philosophical logic Epistemology Reasoning Non-classical logic Logical consequence Probabilistic logic Karl Popper Truth Verisimilitude Logic Philosophy Science

UPDATE